翻訳と辞書
Words near each other
・ "O" Is for Outlaw
・ "O"-Jung.Ban.Hap.
・ "Ode-to-Napoleon" hexachord
・ "Oh Yeah!" Live
・ "Our Contemporary" regional art exhibition (Leningrad, 1975)
・ "P" Is for Peril
・ "Pimpernel" Smith
・ "Polish death camp" controversy
・ "Pro knigi" ("About books")
・ "Prosopa" Greek Television Awards
・ "Pussy Cats" Starring the Walkmen
・ "Q" Is for Quarry
・ "R" Is for Ricochet
・ "R" The King (2016 film)
・ "Rags" Ragland
・ ! (album)
・ ! (disambiguation)
・ !!
・ !!!
・ !!! (album)
・ !!Destroy-Oh-Boy!!
・ !Action Pact!
・ !Arriba! La Pachanga
・ !Hero
・ !Hero (album)
・ !Kung language
・ !Oka Tokat
・ !PAUS3
・ !T.O.O.H.!
・ !Women Art Revolution


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

group algebra : ウィキペディア英語版
group algebra

In mathematics, the group algebra is any of various constructions to assign to a locally compact group an operator algebra (or more generally a Banach algebra), such that representations of the algebra are related to representations of the group. As such, they are similar to the group ring associated to a discrete group.
== Group algebras of topological groups: ''Cc''(''G'')==
For the purposes of functional analysis, and in particular of harmonic analysis, one wishes to carry over the group ring construction to topological groups ''G''. In case ''G'' is a locally compact Hausdorff group, ''G'' carries an essentially unique left-invariant countably additive Borel measure μ called a Haar measure. Using the Haar measure, one can define a convolution operation on the space ''Cc''(''G'') of complex-valued continuous functions on ''G'' with compact support; ''Cc''(''G'') can then be given any of various norms and the completion will be a group algebra.
To define the convolution operation, let ''f'' and ''g'' be two functions in ''Cc''(''G''). For ''t'' in ''G'', define
: (
* g )(t) = \int_G f(s) g \left (s^ t \right )\, d \mu(s).
The fact that ''f''
* ''g'' is continuous is immediate from the dominated convergence theorem. Also
: \operatorname(f
* g) \subseteq \operatorname(f) \cdot \operatorname(g)
were the dot stands for the product in ''G''. ''Cc''(''G'') also has a natural involution defined by:
: f^
*(s) = \overline \Delta(s^)
where Δ is the modular function on ''G''. With this involution, it is a
*-algebra
.
Theorem. With the norm:
: \|f\|_1 := \int_G |f(s)| d\mu(s),
''Cc''(''G'') becomes an involutive normed algebra with an approximate identity.

The approximate identity can be indexed on a neighborhood basis of the identity consisting of compact sets. Indeed, if ''V'' is a compact neighborhood of the identity, let ''fV'' be a non-negative continuous function supported in ''V'' such that
: \int_V f_(g)\, d \mu(g) =1.
Then ''V'' is an approximate identity. A group algebra has an identity, as opposed to just an approximate identity, if and only if the topology on the group is the discrete topology.
Note that for discrete groups, ''Cc''(''G'') is the same thing as the complex group ring C().
The importance of the group algebra is that it captures the unitary representation theory of ''G'' as shown in the following
Theorem. Let ''G'' be a locally compact group. If ''U'' is a strongly continuous unitary representation of ''G'' on a Hilbert space ''H'', then
: \pi_U (f) = \int_G f(g) U(g)\, d \mu(g)
is a non-degenerate bounded
*-representation of the normed algebra ''Cc''(''G''). The map
: U \mapsto \pi_U
is a bijection between the set of strongly continuous unitary representations of ''G'' and non-degenerate bounded
*-representations of ''Cc''(''G''). This bijection respects unitary equivalence and strong containment. In particular, π''U'' is irreducible if and only if ''U'' is irreducible.

Non-degeneracy of a representation π of ''Cc''(''G'') on a Hilbert space ''H''π means that
: \left \
is dense in ''H''π.

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「group algebra」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.